Randomness and lowness notions via open covers

نویسندگان

  • Laurent Bienvenu
  • Joseph S. Miller
چکیده

One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., RA = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S , where S is weaker: for which A is S A still weaker than R? In the last few years, many results have characterized the sequences that are low for randomness by their low computational strength. A few results have also given measure-theoretic characterizations of low sequences. For example, Kjos-Hanssen (following Kučera) proved that A is low for Martin-Löf randomness if and only if every A-c.e. open set of measure less than 1 can be covered by a c.e. open set of measure less than 1. In this paper, we give a series of results showing that a wide variety of lowness notions can be expressed in a similar way, i.e., via the ability to cover open sets of a certain type by open sets of some other type. This provides a unified framework that clarifies the study of lowness for randomness notions, and allows us to give simple proofs of a number of known results. We also use this framework to prove new results, including showing that the classes Low(MLR, SR) and Low(W2R,SR) coincide, answering a question of Nies. Other applications include characterizations of highness notions, a broadly applicable explanation for why low for randomness is the same as low for tests, and a simple proof that Low(W2R,S ) = Low(MLR,S ), where S is the class of Martin-Löf, computable, or Schnorr random sequences. The final section gives characterizations of lowness notions using summable functions and convergent measure machines instead of open covers. We finish with a simple proof of a result of Nies, that Low(MLR) = Low(MLR,CR).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lowness for Bounded Randomness Rod Downey and Keng

In [3], Brodhead, Downey and Ng introduced some new variations of the notions of being Martin-Löf random where the tests are all clopen sets. We explore the lowness notions associated with these randomness notions. While these bounded notions seem far from classical notions with infinite tests like Martin-Löf and Demuth randomness, the lowness notions associated with bounded randomness turn out...

متن کامل

Lowness for Difference Tests

We show that being low for difference tests is the same as being computable and therefore lowness for difference tests is not the same as lowness for difference randomness. This is the first known example of a randomness notion where lowness for the randomness notion and lowness for the test notion do not coincide. Additionally, we show that for every incomputable set A, there is a difference t...

متن کامل

ω-Change Randomness and Weak Demuth Randomness

We extend our work on difference randomness. Each component of a difference test is a Boolean combination of two r.e. open sets; here we consider tests in which the k component is a Boolean combination of g(k) r.e. open sets for a given recursive function g. We use this method to produce an alternate characterization of weak Demuth randomness in terms of these tests and further show that a real...

متن کامل

Lowness for Computable Machines

Two lowness notions in the setting of Schnorr randomness have been studied (lowness for Schnorr randomness and tests, by Terwijn and Zambella [19], and by Kjos-Hanssen, Stephan, and Nies [7]; and Schnorr triviality, by Downey, Griffiths and LaForte [3, 4] and Franklin [6]). We introduce lowness for computable machines, which by results of Downey and Griffiths [3] is an analog of lowness for K. ...

متن کامل

Summary of past research

1 Computability and randomness 1 1.1 Studying randomness notions . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.1 Martin-Löf’s randomness notion . . . . . . . . . . . . . . . . . 2 1.1.2 Notions weaker than ML-randomness . . . . . . . . . . . . . . 2 1.1.3 A notion stronger than ML-randomness . . . . . . . . . . . . . 3 1.2 Lowness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 163  شماره 

صفحات  -

تاریخ انتشار 2012